Probabilistic embedding into trees: definitions
نویسندگان
چکیده
A metric space is often represented as the pair (X,d). An example of metric spaces is (R, Lk), where Lk is the k-norm over R for given n, k ∈ Z≥1. We can represent a finite metric space (X, d) by a symmetric matrix S, of size nxn, where Si,j = d(i, j) and |X| = n. Metric spaces can be visualized using undirected graph G, where S is distance matrix for G. Conversely, given a graph G(V, E), we can represent it as a metric space (V, d), where d(i, j) is length of the shortest path between i, j ∈ V.
منابع مشابه
Network Design and Game Theory Spring 2008 Lecture 4 Instructor : Mohammad
In this lecture we introduce the technique of probabilistic embedding of arbitrary graphs into trees and describe some of its applications. We give various definitions, theorems and present approximation algorithms making use of probabilistic embedding. The main benefit that we get out of embedding graphs into trees is that we can then solve the given graph problem on the corresponding tree, wh...
متن کاملProbabilistic analysis of the asymmetric digital search trees
In this paper, by applying three functional operators the previous results on the (Poisson) variance of the external profile in digital search trees will be improved. We study the profile built over $n$ binary strings generated by a memoryless source with unequal probabilities of symbols and use a combinatorial approach for studying the Poissonized variance, since the probability distribution o...
متن کاملUncertainty and Incompleteness
Query evaluation in monadic second-order logic is known to be tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting query results [2] or performing query evaluation on probabilistic trees [8]. We see counting and probability evaluation as two examples of...
متن کاملProvenance Circuits for Trees and Treelike Instances
Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting query results [3] or performing query evaluation on probabilistic trees [10]. These are two examples of the more general problem of computing au...
متن کاملUndecidable Problems for Probabilistic Network Programming
The software-defined networking language NetKAT is able to verify many useful properties of networks automatically via a PSPACE decision procedure for program equality. However, for its probabilistic extension ProbNetKAT, no such decision procedure is known. We show that several potentially useful properties of ProbNetKAT are in fact undecidable, including emptiness of support intersection and ...
متن کامل